Model-based Requirement Verification : A Case Study
نویسندگان
چکیده
This paper presents a complete case study that takes a real Fuel Display System element used in Scania Trucks and applies an unified process for modelling system requirements together with the system itself and verifying these requirements in a structured manner. In order to achieve this process the system is modeled in Modelica, and requirement verification scenarios are specified in ModelicaML and verified with the vVDR (Virtual Verification of Designs against Requirements) approach.
منابع مشابه
Investigation Of The Requirement &Constraints Affecting Teleworking In Government Institutes; Case Study : Research Institutes of Minister of Roads and Urban Development
Teleworking as an innovative way has many benefits in governmental, organizational and individual levels, but it faced with different variables in plan and implementation which is caused to low acceptance rate in organizations. By identifying and controlling these variables, managers and decision-makers can use teleworking programs in their organizations. The aim of this study is to investigate...
متن کاملInvestigation Of The Requirement &Constraints Affecting Teleworking In Government Institutes; Case Study : Research Institutes of Minister of Roads and Urban Development
Teleworking as an innovative way has many benefits in governmental, organizational and individual levels, but it faced with different variables in plan and implementation which is caused to low acceptance rate in organizations. By identifying and controlling these variables, managers and decision-makers can use teleworking programs in their organizations. The aim of this study is to investigate...
متن کاملModel-based Refinement of Requirement Specification: a Comparison of Two V&v Approaches
This paper presents the contribution of two verification techniques for a set of requirements in discrete event dynamics systems. The case study is an automatic coffee machine. The first approach consists of model checking using timed automata and the second one is the CoFI test method proposed for space software validation. In this study the CoFI approach is instantiated to mechatronics system...
متن کاملA Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study
Model-based development approaches have attracted a lot of attention in the last decade due to their ability to deal with complexity in large software engineering projects. However, a natural question raises, to what extent model-based development approaches are suited to tackle engineering challenges from other application domains such as the automation domain. In order to answer this question...
متن کاملVerification of a Quality Management Theory: Using a Delphi Study
Background A model of quality management called Strategic Collaborative Quality Management (SCQM) model was developed based on the quality management literature review, the findings of a survey on quality management assessment in healthcare organisations, semi-structured interviews with healthcare stakeholders, and a Delphi study on healthcare quality management experts. The purpose of this stu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012